pocket half - German English Dictionary